[lang name="Russian"]двойная рекурсия — double recursion
[lang name="Russian"]относительная рекурсия — relative recursion
[lang name="Russian"]потенциальная рекурсия — potential recursion
Русско-английский научный словарь.
ПРИМИТИВНАЯ РЕКУРСИЯ — способ определения функций от натуральных аргументов с натуральными значениями. Говорят, что (n+1) местная функция f(x1, ... , х п, у). получена примитивной рекурсией из n местной функции g( х 1, ... , х п).и ( п+2).местной функции h( х 1, ... ,… … Математическая энциклопедия
РЕКУРСИЯ — способ определения функций, являющийся объектом изучения в теории алгоритмов и других разделах математич. логики. Этот способ давно применяется в арифметике для определения числовых последовательностей (прогрессии, чисел Фибоначчи и пр.).… … Математическая энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
